Formative processes with applications to the decision problem in set theory: II. Powerset and singleton operators, finiteness predicate
نویسندگان
چکیده
منابع مشابه
Formative processes with applications to the decision problem in set theory: II. Powerset and singleton operators, finiteness predicate
In this paper we solve the satisfiability problem for a quantifier-free fragment of set theory involving the powerset and the singleton operators and a finiteness predicate, besides the basic Boolean set operators of union, intersection, and difference. The more restricted fragment obtained by dropping the finiteness predicate has been shown to have a solvable satisfiability problem in a previo...
متن کاملFormative Processes with Applications to the Decision Problem in Set Theory, I. Powerset and Singleton Operators
This paper introduces formative processes, composed by transitive partitions. Given a family F of sets, a formative process ending in the Venn partition of F is shown to exist. Sufficient criteria are also singled out for a transitive partition to model (via a function from set variables to unions of sets in the partition) all set-literals modeled by . On the basis of such criteria a procedure ...
متن کاملFUZZY SOFT SET THEORY AND ITS APPLICATIONS
In this work, we define a fuzzy soft set theory and its related properties. We then define fuzzy soft aggregation operator that allows constructing more efficient decision making method. Finally, we give an example which shows that the method can be successfully applied to many problems that contain uncertainties.
متن کاملOrdered Weighted Averaging Operators and their Generalizations with Applications in Decision Making
The definition of ordered weighted averaging (OWA) operators and their applications in decision making are reviewed. Also, some generalizations of OWA operators are studied and then, the notion of 2-symmetric OWA operators is introduced. These generalizations are illustrated by some examples.
متن کاملthe analysis of the role of the speech acts theory in translating and dubbing hollywood films
از محوری ترین اثراتی که یک فیلم سینمایی ایجاد می کند دیالوگ هایی است که هنرپیش گان فیلم میگویند. به زعم یک فیلم ساز, یک شیوه متأثر نمودن مخاطب از اثر منظوره نیروی گفتارهای گوینده, مثل نیروی عاطفی, ترس آور, غم انگیز, هیجان انگیز و غیره, است. این مطالعه به بررسی این مسأله مبادرت کرده است که آیا نیروی فراگفتاری هنرپیش گان به مثابه ی اعمال گفتاری در پنج فیلم هالیوودی در نسخه های دوبله شده باز تولید...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Computation
سال: 2014
ISSN: 0890-5401
DOI: 10.1016/j.ic.2014.02.005